2.2.3 Integrals 201 to 300

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 201

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

77 77 89 96 112 0 0 0 0

N.S.

1 1.00 1.16 1.25 1.45 0.00 0.00 0.00 0.00

time (sec)

N/A 0.297 0.043 0.314 0.186 0.000 0.000 0.000 0.000

Problem 202

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 83 83 80 71 81 88 265 70

N.S.

1 1.00 1.00 0.96 0.86 0.98 1.06 3.19 0.84

time (sec)

N/A 0.336 0.031 0.302 0.178 0.246 0.544 0.285 3.426

Problem 203

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

202 202 138 233 214 0 0 0 0

N.S.

1 1.00 0.68 1.15 1.06 0.00 0.00 0.00 0.00

time (sec)

N/A 1.182 1.292 0.556 0.196 0.000 0.000 0.000 0.000

Problem 204

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 156 108 140 170 133 153 683 221

N.S.

1 1.00 0.69 0.90 1.09 0.85 0.98 4.38 1.42

time (sec)

N/A 1.012 0.042 0.295 0.175 0.247 0.658 0.282 3.751

Problem 205

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

178 178 121 213 198 0 0 0 0

N.S.

1 1.00 0.68 1.20 1.11 0.00 0.00 0.00 0.00

time (sec)

N/A 0.970 0.857 0.318 0.183 0.000 0.000 0.000 0.000

Problem 206

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

138 144 82 119 93 116 133 473 111

N.S.

1 1.04 0.59 0.86 0.67 0.84 0.96 3.43 0.80

time (sec)

N/A 0.528 0.035 0.208 0.195 0.273 0.478 0.284 3.436

Problem 207

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

171 192 99 188 175 0 0 0 0

N.S.

1 1.12 0.58 1.10 1.02 0.00 0.00 0.00 0.00

time (sec)

N/A 0.850 0.521 0.309 0.177 0.000 0.000 0.000 0.000

Problem 208

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

186 186 200 733 0 0 0 0 0

N.S.

1 1.00 1.08 3.94 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.753 0.061 3.966 0.000 0.000 0.000 0.000 0.000

Problem 209

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 156 182 203 200 0 0 0 0

N.S.

1 1.00 1.17 1.30 1.28 0.00 0.00 0.00 0.00

time (sec)

N/A 0.642 0.286 0.292 0.198 0.000 0.000 0.000 0.000

Problem 210

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

162 162 200 779 0 0 0 0 0

N.S.

1 1.00 1.23 4.81 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.697 0.263 3.186 0.000 0.000 0.000 0.000 0.000

Problem 211

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

167 167 153 208 203 0 0 0 0

N.S.

1 1.00 0.92 1.25 1.22 0.00 0.00 0.00 0.00

time (sec)

N/A 0.660 0.068 0.400 0.201 0.000 0.000 0.000 0.000

Problem 212

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

214 214 238 1124 0 0 0 0 0

N.S.

1 1.00 1.11 5.25 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.805 0.241 5.426 0.000 0.000 0.000 0.000 0.000

Problem 213

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

157 157 118 233 239 0 0 0 0

N.S.

1 1.00 0.75 1.48 1.52 0.00 0.00 0.00 0.00

time (sec)

N/A 0.822 0.572 0.513 0.202 0.000 0.000 0.000 0.000

Problem 214

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 114 99 149 188 132 148 440 335

N.S.

1 1.01 0.88 1.32 1.66 1.17 1.31 3.89 2.96

time (sec)

N/A 0.452 0.048 0.299 0.191 0.264 0.683 0.280 4.003

Problem 215

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

183 183 140 253 254 0 0 0 0

N.S.

1 1.00 0.77 1.38 1.39 0.00 0.00 0.00 0.00

time (sec)

N/A 0.974 1.021 0.279 0.184 0.000 0.000 0.000 0.000

Problem 216

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

170 170 124 169 204 148 168 651 357

N.S.

1 1.00 0.73 0.99 1.20 0.87 0.99 3.83 2.10

time (sec)

N/A 1.039 0.050 0.275 0.181 0.274 0.894 0.290 4.868

Problem 217

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

248 298 183 828 0 0 0 0 0

N.S.

1 1.20 0.74 3.34 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.543 0.427 3.655 0.000 0.000 0.000 0.000 0.000

Problem 218

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

20 20 22 20 21 26 20 21 21

N.S.

1 1.00 1.10 1.00 1.05 1.30 1.00 1.05 1.05

time (sec)

N/A 0.214 0.741 0.119 0.252 0.244 1.043 1.063 3.356

Problem 219

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

19 19 21 19 20 26 19 20 20

N.S.

1 1.00 1.11 1.00 1.05 1.37 1.00 1.05 1.05

time (sec)

N/A 0.200 0.411 0.087 0.238 0.237 1.008 1.061 3.608

Problem 220

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 22 23 29 20 23 23

N.S.

1 1.00 1.09 1.00 1.05 1.32 0.91 1.05 1.05

time (sec)

N/A 0.228 1.033 0.095 0.272 0.230 2.107 1.042 3.248

Problem 221

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

20 20 22 20 102 26 22 21 21

N.S.

1 1.00 1.10 1.00 5.10 1.30 1.10 1.05 1.05

time (sec)

N/A 0.215 0.647 0.104 0.261 0.240 1.201 0.371 3.200

Problem 222

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

19 19 21 19 90 26 20 20 20

N.S.

1 1.00 1.11 1.00 4.74 1.37 1.05 1.05 1.05

time (sec)

N/A 0.198 0.854 0.082 0.247 0.244 1.098 0.332 3.171

Problem 223

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 22 108 29 22 23 23

N.S.

1 1.00 1.09 1.00 4.91 1.32 1.00 1.05 1.05

time (sec)

N/A 0.231 0.869 0.081 0.280 0.242 2.207 0.361 3.149

Problem 224

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

144 156 79 84 82 88 97 303 80

N.S.

1 1.08 0.55 0.58 0.57 0.61 0.67 2.10 0.56

time (sec)

N/A 0.507 0.035 0.241 0.170 0.257 0.416 0.288 3.323

Problem 225

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

227 271 124 222 199 0 0 0 0

N.S.

1 1.19 0.55 0.98 0.88 0.00 0.00 0.00 0.00

time (sec)

N/A 1.132 0.842 0.483 0.202 0.000 0.000 0.000 0.000

Problem 226

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

338 466 231 978 0 0 0 0 0

N.S.

1 1.38 0.68 2.89 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.602 0.845 4.405 0.000 0.000 0.000 0.000 0.000

Problem 227

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 101 60 131 120 0 0 0 0

N.S.

1 1.16 0.69 1.51 1.38 0.00 0.00 0.00 0.00

time (sec)

N/A 0.615 0.146 0.211 0.190 0.000 0.000 0.000 0.000

Problem 228

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 44 42 37 85 56 41 0 82

N.S.

1 1.05 1.00 0.88 2.02 1.33 0.98 0.00 1.95

time (sec)

N/A 0.369 0.074 0.236 0.172 0.237 0.393 0.000 3.324

Problem 229

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 59 44 90 125 0 0 0 0

N.S.

1 1.09 0.81 1.67 2.31 0.00 0.00 0.00 0.00

time (sec)

N/A 0.362 0.085 0.174 0.181 0.000 0.000 0.000 0.000

Problem 230

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 13 12 65 22 10 22 23

N.S.

1 1.00 1.00 0.92 5.00 1.69 0.77 1.69 1.77

time (sec)

N/A 0.181 0.005 0.233 0.175 0.243 0.485 0.267 3.248

Problem 231

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 45 43 109 132 0 0 0 0

N.S.

1 1.00 0.96 2.42 2.93 0.00 0.00 0.00 0.00

time (sec)

N/A 0.337 0.118 0.235 0.182 0.000 0.000 0.000 0.000

Problem 232

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 44 41 46 82 63 37 0 80

N.S.

1 1.07 1.00 1.12 2.00 1.54 0.90 0.00 1.95

time (sec)

N/A 0.379 0.108 0.253 0.187 0.252 0.429 0.000 3.605

Problem 233

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

84 78 60 170 162 0 0 0 0

N.S.

1 0.93 0.71 2.02 1.93 0.00 0.00 0.00 0.00

time (sec)

N/A 0.559 0.273 0.204 0.183 0.000 0.000 0.000 0.000

Problem 234

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

135 160 112 728 0 0 0 0 0

N.S.

1 1.19 0.83 5.39 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.274 0.157 2.493 0.000 0.000 0.000 0.000 0.000

Problem 235

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

75 90 59 5330 200 0 0 0 0

N.S.

1 1.20 0.79 71.07 2.67 0.00 0.00 0.00 0.00

time (sec)

N/A 0.721 0.179 0.704 0.183 0.000 0.000 0.000 0.000

Problem 236

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

78 89 68 638 0 0 0 0 0

N.S.

1 1.14 0.87 8.18 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.540 0.105 0.291 0.000 0.000 0.000 0.000 0.000

Problem 237

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 13 12 127 22 10 22 68

N.S.

1 1.00 1.00 0.92 9.77 1.69 0.77 1.69 5.23

time (sec)

N/A 0.186 0.006 0.344 0.187 0.253 0.472 0.271 3.321

Problem 238

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

66 78 60 1108 0 0 0 0 0

N.S.

1 1.18 0.91 16.79 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.553 0.343 0.491 0.000 0.000 0.000 0.000 0.000

Problem 239

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

66 71 61 4380 237 0 0 0 0

N.S.

1 1.08 0.92 66.36 3.59 0.00 0.00 0.00 0.00

time (sec)

N/A 0.662 0.249 0.542 0.189 0.000 0.000 0.000 0.000

Problem 240

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

138 142 136 1277 0 0 0 0 0

N.S.

1 1.03 0.99 9.25 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.393 0.366 2.362 0.000 0.000 0.000 0.000 0.000

Problem 241

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

205 235 142 217 0 0 0 0 0

N.S.

1 1.15 0.69 1.06 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.899 0.256 5.162 0.000 0.000 0.000 0.000 0.000

Problem 242

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

103 120 78 736 0 0 0 0 0

N.S.

1 1.17 0.76 7.15 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.952 0.237 0.436 0.000 0.000 0.000 0.000 0.000

Problem 243

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

108 116 87 670 0 0 0 0 0

N.S.

1 1.07 0.81 6.20 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.724 0.106 0.316 0.000 0.000 0.000 0.000 0.000

Problem 244

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 13 12 209 22 10 22 90

N.S.

1 1.00 1.00 0.92 16.08 1.69 0.77 1.69 6.92

time (sec)

N/A 0.190 0.006 0.230 0.197 0.256 0.485 0.285 3.518

Problem 245

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

91 104 83 1165 0 0 0 0 0

N.S.

1 1.14 0.91 12.80 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.732 0.378 0.434 0.000 0.000 0.000 0.000 0.000

Problem 246

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

90 104 93 810 0 0 0 0 0

N.S.

1 1.16 1.03 9.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.953 0.251 0.384 0.000 0.000 0.000 0.000 0.000

Problem 247

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

200 198 165 369 0 0 0 0 0

N.S.

1 0.99 0.82 1.84 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.868 0.372 7.035 0.000 0.000 0.000 0.000 0.000

Problem 248

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 15 12 0 25 14 25 11

N.S.

1 1.00 1.00 0.80 0.00 1.67 0.93 1.67 0.73

time (sec)

N/A 0.195 0.008 0.235 0.000 0.247 0.642 0.271 3.415

Problem 249

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

20 20 22 20 23 22 20 22 23

N.S.

1 1.00 1.10 1.00 1.15 1.10 1.00 1.10 1.15

time (sec)

N/A 0.223 1.051 0.037 0.258 0.247 0.745 0.605 3.214

Problem 250

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

9 9 9 10 21 20 7 21 9

N.S.

1 1.00 1.00 1.11 2.33 2.22 0.78 2.33 1.00

time (sec)

N/A 0.198 0.082 0.173 0.193 0.248 0.260 0.278 3.548

Problem 251

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 22 25 23 22 24 25

N.S.

1 1.00 1.09 1.00 1.14 1.05 1.00 1.09 1.14

time (sec)

N/A 0.242 0.252 0.038 0.272 0.248 1.066 0.588 3.207

Problem 252

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

20 20 22 20 52 22 24 22 23

N.S.

1 1.00 1.10 1.00 2.60 1.10 1.20 1.10 1.15

time (sec)

N/A 0.269 0.146 0.036 0.242 0.247 0.827 0.291 3.251

Problem 253

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

11 11 11 12 23 22 8 22 23

N.S.

1 1.00 1.00 1.09 2.09 2.00 0.73 2.00 2.09

time (sec)

N/A 0.196 0.006 0.161 0.204 0.234 0.369 0.289 3.167

Problem 254

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 22 59 23 26 24 25

N.S.

1 1.00 1.09 1.00 2.68 1.05 1.18 1.09 1.14

time (sec)

N/A 0.301 0.179 0.027 0.262 0.247 1.215 0.296 3.253

Problem 255

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

20 20 22 20 113 22 24 22 23

N.S.

1 1.00 1.10 1.00 5.65 1.10 1.20 1.10 1.15

time (sec)

N/A 0.265 0.484 0.033 0.258 0.250 0.940 0.307 3.286

Problem 256

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 13 12 42 22 12 22 23

N.S.

1 1.00 1.00 0.92 3.23 1.69 0.92 1.69 1.77

time (sec)

N/A 0.194 0.006 0.207 0.188 0.245 0.451 0.284 3.241

Problem 257

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 22 134 23 26 24 25

N.S.

1 1.00 1.09 1.00 6.09 1.05 1.18 1.09 1.14

time (sec)

N/A 0.304 0.665 0.032 0.264 0.248 1.225 0.304 3.967

Problem 258

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 18 0 84 26 30 33

N.S.

1 1.00 1.00 1.06 0.00 4.94 1.53 1.76 1.94

time (sec)

N/A 0.204 0.010 0.394 0.000 0.268 0.788 0.284 3.563

Problem 259

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

109 129 64 159 177 0 0 0 0

N.S.

1 1.18 0.59 1.46 1.62 0.00 0.00 0.00 0.00

time (sec)

N/A 0.739 0.127 0.318 0.184 0.000 0.000 0.000 0.000

Problem 260

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 57 45 55 126 65 0 0 110

N.S.

1 1.00 0.79 0.96 2.21 1.14 0.00 0.00 1.93

time (sec)

N/A 0.316 0.123 0.214 0.198 0.262 0.000 0.000 3.440

Problem 261

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 60 66 37 62 48 61 154 37

N.S.

1 1.09 1.20 0.67 1.13 0.87 1.11 2.80 0.67

time (sec)

N/A 0.235 0.092 0.251 0.188 0.242 0.447 0.290 3.625

Problem 262

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 54 44 54 122 64 0 255 106

N.S.

1 1.00 0.81 1.00 2.26 1.19 0.00 4.72 1.96

time (sec)

N/A 0.216 0.106 0.206 0.186 0.252 0.000 1.255 3.402

Problem 263

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 109 63 190 206 0 0 0 0

N.S.

1 1.20 0.69 2.09 2.26 0.00 0.00 0.00 0.00

time (sec)

N/A 0.668 0.142 0.313 0.185 0.000 0.000 0.000 0.000

Problem 264

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

82 102 77 127 150 118 253 0 132

N.S.

1 1.24 0.94 1.55 1.83 1.44 3.09 0.00 1.61

time (sec)

N/A 0.706 0.148 0.248 0.205 0.254 0.855 0.000 3.646

Problem 265

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

123 191 83 213 233 0 0 0 0

N.S.

1 1.55 0.67 1.73 1.89 0.00 0.00 0.00 0.00

time (sec)

N/A 1.611 0.261 0.260 0.199 0.000 0.000 0.000 0.000

Problem 266

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

161 184 103 735 0 0 0 0 0

N.S.

1 1.14 0.64 4.57 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.282 0.141 0.746 0.000 0.000 0.000 0.000 0.000

Problem 267

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

94 105 93 72 273 96 0 0 231

N.S.

1 1.12 0.99 0.77 2.90 1.02 0.00 0.00 2.46

time (sec)

N/A 0.375 0.168 0.384 0.198 0.258 0.000 0.000 4.166

Problem 268

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

82 85 43 52 146 66 0 140 198

N.S.

1 1.04 0.52 0.63 1.78 0.80 0.00 1.71 2.41

time (sec)

N/A 0.322 0.053 0.220 0.177 0.243 0.000 0.283 3.734

Problem 269

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 100 93 72 268 95 0 88 213

N.S.

1 1.14 1.06 0.82 3.05 1.08 0.00 1.00 2.42

time (sec)

N/A 0.332 0.121 0.388 0.189 0.252 0.000 1.396 4.090

Problem 270

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

136 167 106 1203 0 0 0 0 0

N.S.

1 1.23 0.78 8.85 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.194 0.242 0.663 0.000 0.000 0.000 0.000 0.000

Problem 271

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

142 175 97 3041 406 0 0 0 0

N.S.

1 1.23 0.68 21.42 2.86 0.00 0.00 0.00 0.00

time (sec)

N/A 1.406 0.307 0.781 0.207 0.000 0.000 0.000 0.000

Problem 272

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

205 313 145 2444 0 0 0 0 0

N.S.

1 1.53 0.71 11.92 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 3.434 0.831 2.783 0.000 0.000 0.000 0.000 0.000

Problem 273

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

227 259 139 806 0 0 0 0 0

N.S.

1 1.14 0.61 3.55 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.834 0.137 0.521 0.000 0.000 0.000 0.000 0.000

Problem 274

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

121 132 72 87 465 114 0 0 410

N.S.

1 1.09 0.60 0.72 3.84 0.94 0.00 0.00 3.39

time (sec)

N/A 0.487 0.064 0.353 0.197 0.271 0.000 0.000 4.350

Problem 275

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

119 133 91 72 298 97 0 192 239

N.S.

1 1.12 0.76 0.61 2.50 0.82 0.00 1.61 2.01

time (sec)

N/A 0.459 0.057 0.225 0.193 0.246 0.000 0.287 4.432

Problem 276

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

115 127 71 86 459 113 0 122 378

N.S.

1 1.10 0.62 0.75 3.99 0.98 0.00 1.06 3.29

time (sec)

N/A 0.437 0.049 0.369 0.197 0.251 0.000 1.578 4.315

Problem 277

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

193 241 135 1300 0 0 0 0 0

N.S.

1 1.25 0.70 6.74 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.729 0.274 0.638 0.000 0.000 0.000 0.000 0.000

Problem 278

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

191 235 144 271 0 0 0 0 0

N.S.

1 1.23 0.75 1.42 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.070 0.258 3.671 0.000 0.000 0.000 0.000 0.000

Problem 279

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

302 443 215 447 0 0 0 0 0

N.S.

1 1.47 0.71 1.48 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 4.665 0.492 7.852 0.000 0.000 0.000 0.000 0.000

Problem 280

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

103 111 87 0 0 0 0 0 0

N.S.

1 1.08 0.84 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.585 0.190 0.000 0.000 0.000 0.000 0.000 0.000

Problem 281

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 22 23 31 22 23 23

N.S.

1 1.00 1.09 1.00 1.05 1.41 1.00 1.05 1.05

time (sec)

N/A 0.246 3.647 0.210 0.269 0.252 0.687 0.688 3.434

Problem 282

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 22 23 31 22 23 23

N.S.

1 1.00 1.09 1.00 1.05 1.41 1.00 1.05 1.05

time (sec)

N/A 0.245 1.167 0.063 0.257 0.246 0.694 0.663 3.687

Problem 283

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 25 27 22 0 58 0 0 0

N.S.

1 0.93 1.00 0.81 0.00 2.15 0.00 0.00 0.00

time (sec)

N/A 0.329 0.169 0.293 0.000 0.249 0.000 0.000 0.000

Problem 284

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 14 13 0 38 0 0 0

N.S.

1 1.00 1.00 0.93 0.00 2.71 0.00 0.00 0.00

time (sec)

N/A 0.313 0.132 0.218 0.000 0.245 0.000 0.000 0.000

Problem 285

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 25 27 22 0 54 0 0 0

N.S.

1 0.93 1.00 0.81 0.00 2.00 0.00 0.00 0.00

time (sec)

N/A 0.295 0.121 0.293 0.000 0.247 0.000 0.000 0.000

Problem 286

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 22 23 28 22 23 23

N.S.

1 1.00 1.09 1.00 1.05 1.27 1.00 1.05 1.05

time (sec)

N/A 0.232 0.814 0.181 0.281 0.246 1.047 0.586 3.387

Problem 287

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 22 117 31 24 23 23

N.S.

1 1.00 1.09 1.00 5.32 1.41 1.09 1.05 1.05

time (sec)

N/A 1.338 2.552 0.074 0.280 0.240 0.854 0.324 3.468

Problem 288

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 38 36 36 0 111 0 0 0

N.S.

1 1.00 0.95 0.95 0.00 2.92 0.00 0.00 0.00

time (sec)

N/A 0.471 0.189 0.243 0.000 0.243 0.000 0.000 0.000

Problem 289

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 75 32 28 0 106 0 0 0

N.S.

1 2.08 0.89 0.78 0.00 2.94 0.00 0.00 0.00

time (sec)

N/A 0.876 0.073 0.392 0.000 0.247 0.000 0.000 0.000

Problem 290

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 35 30 36 0 102 0 0 0

N.S.

1 1.00 0.86 1.03 0.00 2.91 0.00 0.00 0.00

time (sec)

N/A 0.432 0.126 0.266 0.000 0.252 0.000 0.000 0.000

Problem 291

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 22 123 28 24 23 23

N.S.

1 1.00 1.09 1.00 5.59 1.27 1.09 1.05 1.05

time (sec)

N/A 1.341 3.310 0.204 0.282 0.241 1.214 0.300 3.437

Problem 292

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 22 209 31 24 23 23

N.S.

1 1.00 1.09 1.00 9.50 1.41 1.09 1.05 1.05

time (sec)

N/A 0.925 6.574 0.075 0.317 0.252 1.010 0.340 3.499

Problem 293

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

64 108 47 51 0 131 0 0 0

N.S.

1 1.69 0.73 0.80 0.00 2.05 0.00 0.00 0.00

time (sec)

N/A 1.047 0.099 0.229 0.000 0.254 0.000 0.000 0.000

Problem 294

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 72 66 43 0 135 0 0 0

N.S.

1 1.00 0.92 0.60 0.00 1.88 0.00 0.00 0.00

time (sec)

N/A 0.516 0.062 0.237 0.000 0.251 0.000 0.000 0.000

Problem 295

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 103 58 51 0 122 0 0 0

N.S.

1 1.78 1.00 0.88 0.00 2.10 0.00 0.00 0.00

time (sec)

N/A 1.031 0.063 0.298 0.000 0.251 0.000 0.000 0.000

Problem 296

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 22 217 28 24 23 23

N.S.

1 1.00 1.09 1.00 9.86 1.27 1.09 1.05 1.05

time (sec)

N/A 0.960 3.034 0.198 0.307 0.245 1.302 0.334 3.556

Problem 297

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 103 73 68 0 151 0 0 0

N.S.

1 1.06 0.75 0.70 0.00 1.56 0.00 0.00 0.00

time (sec)

N/A 0.644 0.160 0.274 0.000 0.245 0.000 0.000 0.000

Problem 298

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

120 171 84 83 0 171 0 0 0

N.S.

1 1.42 0.70 0.69 0.00 1.42 0.00 0.00 0.00

time (sec)

N/A 1.334 0.073 0.377 0.000 0.257 0.000 0.000 0.000

Problem 299

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

154 168 101 98 0 200 0 0 0

N.S.

1 1.09 0.66 0.64 0.00 1.30 0.00 0.00 0.00

time (sec)

N/A 0.891 0.153 0.348 0.000 0.248 0.000 0.000 0.000

Problem 300

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

177 236 112 113 0 220 0 0 0

N.S.

1 1.33 0.63 0.64 0.00 1.24 0.00 0.00 0.00

time (sec)

N/A 1.652 0.080 0.439 0.000 0.246 0.000 0.000 0.000